<?php

function htmlspecialchars_default($value) {
	return htmlspecialchars($value, ENT_QUOTES, 'UTF-8');
               
}

function get_file_extension($filepath) {
	$lastdot = strrpos($filepath, ".");
	if($lastdot === FALSE) {
		return FALSE;
	}
	$filetype = strtolower(substr($filepath, $lastdot + 1));
	return $filetype;
}
?>
